verifying trig equations